modal logic
[ˈməʊdl ˈlɔdʒik]
un. 模态逻辑 [网络] 情态逻辑；模型逻辑；模太逻辑
un. 模态逻辑 [网络] 情态逻辑；模型逻辑；模太逻辑
热门查询
- meddler n. 干涉者；爱管闲事的人
- households n. 家庭；拆迁户；家户（household的复数）
- papers n. 文件；证件；论文数 n. (Papers)人名；(希)帕佩尔斯
- saliferous adj. 含盐的
- gluttony n. 暴食，暴饮暴食；贪食，贪吃
- vanquish vt. 征服；击败；克服；抑制（感情等）
- dockyard n. [船] 造船厂；海军工厂
- knockdown adj. 击倒的；可拆卸的；廉价的 n. 把人打倒的一击；可拆卸的东西；降价
- Turk n. 土耳其马；土耳其人
- Berks abbr. 英国柏克斯郡（Berkshire）
- metonymic adj. 转喻的；换喻的
- bloodstain n. 血迹
- unproved adj. 未被证明的；未经证实的
- kink n. 扭结；奇想；蜷缩 vi. 扭结 vt. 使扭结 n. (Kink)人名；(瑞典)欣克
- shambles n. 混乱；废墟；屠宰场（shamble的复数） v. 蹒跚而行（shamble的第三人称单数形式）
- spittle n. 唾沫；吐出的泡沫 n. (Spittle)人名；(英)斯皮特尔
- semaphore n. 信号；旗语；臂板信号机 vt. 用信号联络 vi. 打旗语；发信号
- mutagenic adj. 诱变的；致突变的
- driver n. 驾驶员；驱动程序；起子；传动器 n. (Driver)人名；(德)德里弗；(英)德赖弗
- Paignton n. 佩恩顿
考试词汇表
- Astragalus membranaceus Bge
- Asyatasia chinensis S.Moore
- Ataxia with Lactic Acidosis
- Atazanavir Sulfate Capsules
- Atherinopsis californiensis
- Atherton, Gertrude Franklin
- Athyrium multidenatum Ching
- Atisine chloride Atractydin
- Atkins Nutritional Approach
- Atlantic Coast leopard frog
- Atlantic Fleet Organization
- Atlantic bottlenose dolphin
- Atmosphere Exposure Chamber
- Atopic keratoconjunctivitis
- Atractylis Atractylis ovata
- Atractylodis Obatae Rhizoma
- Atrial Ectopic Tachycardias
- Atrial Natriuretic Peptides
- Atrial Tachycardias,Ectopic
- Atrial septal defect closer
